Weakly Terminal Objects in Quasicategories of SET Endofunctors
نویسنده
چکیده
The quasicategory Q of all set functors (i.e. endofunctors of the category SET of all sets and mappings) and all natural transformations has a terminal object – the constant functor C1. We construct here the terminal (or at least the smallest weakly terminal object, which is rigid) in some important subquasicategories of Q – in the quasicategory F of faithful connected set functors and all natural transformations, and in the quasicategories B of all set functors and natural transformations which preserve filters of points (up to cardinality κ).
منابع مشابه
Hyperspace of a fuzzy quasi-uniform space
The aim of this paper is to present a fuzzy counterpart method of constructing the Hausdorff quasi-uniformity of a crisp quasi-uniformity. This process, based on previous works due to Morsi cite{Morsi94} and Georgescu cite{Georgescu08}, allows to extend probabilistic and Hutton $[0,1]$-quasi-uniformities on a set $X$ to its power set. In this way, we obtain an endofunctor for each one of the c...
متن کاملFinal Coalgebras are Ideal Completions of Initial Algebras
For -continuous endofunctors of Set an ordering of a final coalgebra is exhibited which makes a CPO. Moreover, an initial algebra, considered as a canonical subobject of , has as its ideal completion. In more generality, for -continuous endofunctors of locally finitely presentable categories the analogous result holds: here the ordering is considered on the hom-sets for all finitely presentable...
متن کاملTerminal coalgebras for endofunctors on sets
This paper shows that the main results of Aczel and Mendler on the existence of terminal coalgebras for an endofunctor on the category of sets do not, for the main part of the results require looking at functors on the category of (possibly proper) classes. We will see here that the main results are valid for sets up to some regular cardinal. Should that cardinal be inaccessible, then Aczel and...
متن کاملAdjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.
For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of Hom-tensor relations have been st...
متن کاملInitial algebras and terminal coalgebras in many-sorted sets
For endofunctors F of many-sorted sets the iterative construction of initial algebras is proved to converge whenever F has an initial algebra. In case of one-sorted sets the convergence takes n steps where either n is an infinite regular cardinal or it is at most 3. Dually, the existence of a terminal coalgebra implies that the iterative construction of a terminal coalgebra converges. As demons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Applied Categorical Structures
دوره 13 شماره
صفحات -
تاریخ انتشار 2005